Skip to content

Conversation

@isegall-da
Copy link
Contributor

Fixes #1067

Pull Request Checklist

Cluster Testing

  • If a cluster test is required, comment /cluster_test on this PR to request it, and ping someone with access to the DA-internal system to approve it.
  • If a hard-migration test is required (from the latest release), comment /hdm_test on this PR to request it, and ping someone with access to the DA-internal system to approve it.

PR Guidelines

  • Include any change that might be observable by our partners or affect their deployment in the release notes.
  • Specify fixed issues with Fixes #n, and mention issues worked on using #n
  • Include a screenshot for frontend-related PRs - see README or use your favorite screenshot tool

Merge Guidelines

  • Make the git commit message look sensible when squash-merging on GitHub (most likely: just copy your PR description).

Signed-off-by: Itai Segall <itai.segall@digitalasset.com>
@isegall-da isegall-da force-pushed the isegall/check-repo-names branch from e17fec7 to d81f4d0 Compare June 10, 2025 22:39
Signed-off-by: Itai Segall <itai.segall@digitalasset.com>
@isegall-da isegall-da force-pushed the isegall/check-repo-names branch from dd4c1a5 to 646817e Compare June 10, 2025 22:51
@isegall-da isegall-da enabled auto-merge (squash) June 10, 2025 22:52
@isegall-da isegall-da merged commit 2180ba4 into main Jun 10, 2025
41 checks passed
@isegall-da isegall-da deleted the isegall/check-repo-names branch June 10, 2025 23:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Migrate the renaming CCI job from CCI to GHA on Splice

3 participants